Subjective, multi-attribute choice decisions – such as whom to marry or which college to attend – play a substantial role in decision makers’ long-term well-being. However, the metacognition literature lacks tools for assessing metacognitive capacities in subjective decisions. We present three studies in which we propose and validate the Knowledge of Weights (KoW) paradigm, a novel method for assessing metacognitive knowledge of attribute weights in subjective, multi-attribute choice decisions. In Study 1, we demonstrate the test-retest reliability of metrics generated by (...) the KoW paradigm. In Study 2, we apply the KoW paradigm in four domains and show that it generates consistent results. In Study 3, we demonstrate that participants who perform better on the KoW paradigm make choices with which they are more satisfied, providing suggestive evidence of predictive validity. Use cases in cognitive psychology and beyond are discussed. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...) a representation that analyzes it as an arbitrary name. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

The concept of molecular structure is fundamental to the practice and understanding of chemistry, but the meaning of this term has evolved and is still evolving. The Born–Oppenheimer separation of electronic and nuclear motions lies at the heart of most modern quantum chemical models of molecular structure. While this separation introduces a great computational and practical simplification, it is neither essential to the conceptual formulation of molecular structure nor universally valid. Going beyond the Born–Oppenheimer approximation introduces new paradigms, bringing fresh (...) insight into the chemistry of fluxional molecules, proteins, superconductors and macroscopic dielectrics, thus opening up new avenues for exploration. But it requires that our ideas of molecular structure need to evolve beyond simple ball-and-stick-type models. (shrink)

Despite the difficulties of establishing the meaning of "idealistic pragmatism," it is certainly a more descriptively accurate characterization of Josiah Royce’s philosophy than the more usual appellation of "absolute idealist." It suggests the American roots of his thought, and his relationships with Peirce and James, which are handled most sensitively in this book, though more briefly than the title might lead one to expect. The main object of the book is to establish the validity of the title, and in this (...) it largely succeeds. Certainly it is a useful endeavor, for Royce’s reputation as an Absolute Idealist has prevented his thought from becoming as widely known as it deserves to be, both for the clarity of his arguments for an idealist metaphysics and for his insights into the meaning of social life. Mahowald follows Oppenheim’s division of Royce’s thought into three periods, which he very carefully established. She then draws out the "pragmatic" aspects of the thought of each period, supplementing the main works with other published and unpublished material. The characteristic attitude of pragmatists is identified as "future orientation" and then Royce is included among them. (shrink)

On the life, philosopy, and mythological interpretations of Śukadeva as portrayed in Puranas; a study.

Este libro presenta más de medio siglo de la historia de España a través de los ojos de un espectador lúcido y atento que nunca ha sido extraño a su propia época. Es un testimonio vital de un gran historiador de la filosofía y un documento valioso para entender algunos aspectos de la historia del pensamiento español y de la evolución de la enseñanza en la segunda mitad del siglo XX. Índice: Prólogo, por Horacio Capel.- Preámbulo.- Infancia y orígenes.- Guerra (...) y posguerra, universidad y milicia.- Segunda juventud y madurez.- En la monarquía de Juan Carlos.- Penúltimas reflexiones (aunque no nuevas).- Epílogo, por Laureano Bonet. (shrink)

Study on the philosophy of semantics in Tantric texts and Sanskrit grammar.

В монографии представлена систематизация современных западных и отечественных подходов в исследовании качеств современного человека, таких как креативность и информативность. Для читателей, интересующихся проблемами социальной философии.

Buddhist ethics on environment protection.

Study on the concept of jiva in Śaktiviśiṣṭādvaitavedānta philosophy and also in Indic philosophy.

Este libro recoge una veintena de estudios que, desde el punto de vista de la teoría social abordan aspectos variados de la Globalización, el Riesgo y la Reflexividad, considerados como los retos fundamentales con los que ha de enfrentarse la sociología actual.

A. N. Prior; XIV—Time, Existence and Identity, Proceedings of the Aristotelian Society, Volume 66, Issue 1, 1 June 1966, Pages 183–192, https://doi.org/10.1093/.

The John Locke Lectures for 1955-6, delivered at the University of Oxford.

For a long period, no attention was paid in our literature to the circumstance that space and time, as fundamental forms of the existence of matter, cannot be reduced to the characteristics of space and time as viewed in physics. Nor was the fact taken into consideration that sociohistorical being is no less real than the existence of physical things, that the activity of human society is no less objective than the physical interactions of the material world.